Wyniki
-
From finite to infinite lambda calculi
Richard Kennaway, Jan-Willem Klop, Ronan Sleep, Fer-Jan de Vries
Bulletin of the Section of Logic , 24 /1 (1995) s. 13-20
Richard Kennaway,
Jan-Willem Klop,
Ronan Sleep,
Fer-Jan de Vries
Bulletin of the Section of Logic
, 24
/1
(1995)
s. 13-20